121. Progress in mathematical programming:interior-point & related
پدیدآورنده : MEGIDDO,NIMROD
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PROGRAMMING )MATHEMATICS(-CONGRESSES , LINEAR PROGRAMMING-CONGRESSES
رده :
QA
402
.
5
.
P785
1987
122. Recent advances mathematical programming
پدیدآورنده : / Edited by Robert L Graves [and] Philip wolfe
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Programming (Mathematics) congresses
رده :
QA
264
.
G7
123. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
124. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
125. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده : / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
126. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
127. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
128. The sharpest cut :
پدیدآورنده : edited by Martin Grötschel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Programming (Mathematics), Congresses.,Combinatória (congressos),Combinatorial optimization.,Kombinatorische Optimierung.,Kombinatorische Optimierung.,Otimização combinatória (congressos),Programming (Mathematics)
رده :
QA402
.
5
.
S523
2004
129. The sharpest cut :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming (Mathematics) ; Congresses ; Combinatorial optimization ; Congresses ;
130. The sharpest cut
پدیدآورنده : / edited by Martin Greotschel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Combinatorial optimization--Congresses,Programming (Mathematics)--Congresses,Combinatorial optimization--Congresses
رده :
QA
,
402
.
5
,.
S523
,
2004
131. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
132. Topics in interval analysis
پدیدآورنده : edited by E. Hansen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
